English-Russian dictionary of information security . 2014.
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Верификация — Позитивизм … Википедия
верификация и аудит — (ITIL Service Transition) Виды деятельности, отвечающие за обеспечение точности информации в системе управления конфигурациями, а также за то, что все конфигурационные единицы определены и записаны. Верификация включает в себя регламентированные… … Справочник технического переводчика
Формальная спецификация — В информатике формальная спецификация это математическое описание программной или аппаратной системы, которая может быть реализована в соответствии с этим описанием. Специфицируется, что должна делать система, но не то, как она должна это… … Википедия
Верифицируемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия
Доказуемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия
Проверяемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия
Cadence Design Systems — Тип … Википедия
Статический анализ кода — (англ. static code analysis) анализ программного обеспечения, производимый без реального выполнения исследуемых программ (анализ, производимый с выполнением программ, называется динамический анализ кода). В большинстве случаев анализ… … Википедия
Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules) формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… … Википедия
Cleanroom Software Engineering — Разработка программного обеспечения Процесс разработки ПО Шаги процесса Анализ • Проектирование • Программирование • Докумен … Википедия
